#include <iostream>
using namespace std;

#include "../libpresent_conds/present_conds.h"
#include "../libprop_tester/prop_tester.h"

int main() {
	char filename[] = "sbox_gen.bin";

	return propTester(testAllConds, filename);
}
